不同抗凝比例对凝血四项检测结果的影响

目的观察并分析凝血四项检测结果与不同比例下的全血与抗凝剂之间的关系。方法研究对象取2015年6月来湖北省宜昌市第二人民医院参加体检的110例健康人员,抽取全血血液样本后按照不同比例与抗凝剂混匀,常规分离血浆并测定受试者凝血酶时间(TT)、凝血酶原时间(PT)、激活部分促凝血酶原激酶时间(APTT)以及纤维蛋白原(FIB),并对研究结果相关数据作统计学处理。结果当血液量与抗凝剂比例为1∶5时,标本TT、PT、APTT以及FIB各项指标较1∶9时差异显著而具有统计学意义(P0.05);抗凝比例1∶7的情况下,TT指标差异与1∶9抗凝比例标本相比差异具有统计学意义(P0.05),而PT、FIB以及APTT三项指标差异并无统计学意义(P0.05);抗凝比例为1∶11与1∶13的情况下,TT指标与1∶9抗凝比例标本相比差异具有统计学意义(P0.05),而PT、FIB以及APTT三项指标差异并无统计学意义(P0.05)。结论凝血四项检测工作中,标本质量检测控制最关键的环节在于准确采集血液量,倘若采集血量过多或过少,导致与抗凝剂比例失调往往会影响测定结果准确性,检验科工作人员应予以重视。     

矩阵代数收敛至球面与非交换度量几何

介绍了Rieffel定义的紧致量子度量空间与量子Gromov-Hausdorff距离和近来Latrémolière定义的量子Gromov-Hausdorff邻距,分别讨论了矩阵代数如何在这两种量子距离下收敛至球面.     

椭圆PDE-约束优化问题的一个预条件子

针对由Galerkin有限元离散椭圆PDE-约束优化问题产生的具有特殊结构的3×3块线性鞍点系统,提出了一个预条件子并给出了预处理矩阵特征值及特征向量的具体表达形式.数值结果表明了该预条件子能够有效地加速Krylov子空间方法的收敛速率,同时也验证了理论结果.     

广义线性多乘积问题的完全多项式时间近似算法

本文针对广义线性多乘积极小化问题,通过一系列的线性规划问题的解提出一种求其全局最优解的完全多项式时间近似算法,并给出该算法的计算复杂性,且数值算例验证该算法是可行的.     

自适应多种群回溯群居蜘蛛算法求解TSP问题

在群居蜘蛛优化算法中引入自适应决策半径,将蜘蛛种群动态地分成多个种群,种群内适应度不同的个体采取不同的更新方式.在筛选全局极值的基础上,根据进化程度执行回溯迭代更新,提出一种自适应多种群回溯群居蜘蛛优化算法,旨在提高种群样本多样性和算法全局寻优能力.函数寻优结果表明改进算法具有较快的收敛速度和较高的收敛精度.最后将其应用于TSP问题的求解.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

非光滑半无限多目标优化问题的对偶性北大核心CSCD

研究了一个非光滑半无限多目标优化问题(简记为SIMOP)并讨论它的对偶性.本文重点考虑此SIMOP的Mond-Weir型半无限多目标对偶问题,通过对目标函数和约束函数的某种组合赋予Clarke-凸性假设,获得了弱/强/逆对偶结论.文章的一些结论是比较新的,并推广了已有文献的一些结果.     

基于改进的PSO-SVM的音频信号特征识别和分类

针对音频信号准确性分类的问题,提出一种基于改进的的粒子群优化算法(PSO)的支持向量机(SVM)音频信号分类的方法,简称IPSO-SVM.首先用Mel倒谱系数法对4种音频信号进行特征提取.其次在PSO中引入自适应变异因子,能够成功地跳出局部极小值点;然后对PSO中的惯性权重进行了改进,将惯性权重由常数变为指数型递减函数.随着迭代的进行,使权重逐渐减小,这样做有利于粒子进行局部寻优.最后用改进的PSO不断优化SVM中的惩罚因子c和核函数参数g来提高预测精度.实验结果表明,与传统的SVM、PSO-SVM、GA-SVM相比,我们提出的IPSO-SVM算法分类结果更精确.     

关于稳定矩阵分解定理的一个简单证明

一个矩阵称为稳定的,如果这个矩阵的特征值全包含在单位开圆盘内.利用Parker关于复方阵的分解定理给出了稳定矩阵分解定理的一个简单证明,并对奇异值全部严格小于1的矩阵给出了类似的结论.     

B-矩阵线性互补问题的误差界估计

利用严格对角占优M-矩阵的逆矩阵的无穷大范数的范围,给出了B-矩阵线性互补问题误差界新的估计式.相应数值算例表明了结果的有效性.